Målet med denne oppgaven er å studere beviselig sikkerhet i \emph{post-kvante kryptografi} (PQC) og andvende dette mot CRYSTALs gitter baserte signatur Dilithium. Først definerer vi den nødvendige teorien for å forstå ...